1. Les Sciences sociales dans le monde
پدیدآورنده : / Ali Kazancigi et David Makinson.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
2. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
3. Od logiki klasycznej do niemonotonicznej /
پدیدآورنده : David Makinson ; przełożył Tomasz Jarmużek.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Nonmonotonic reasoning.
رده :
BC108
.
M318165
2008
4. Sets, Logic and Maths for Computing
پدیدآورنده : / David Makinson (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
5. Sets, Logic and Maths for Computing
پدیدآورنده : / David Makinson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
6. Sets, logic and maths for computing
پدیدآورنده : / David Makinson
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
7. Topics in modern logic
پدیدآورنده : Makinson, David Clement
کتابخانه: (طهران)
موضوع : ، Logic
رده :
BC
108
.
M247T6
8. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
9. Towards mathematical philosophy : papers from the studia logica conference Trends in logic IV
پدیدآورنده : edited by David Makinson, Jacek Malinowski, Heinrich Wansing
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1S78
2006
10. Towards mathematical philosophy: papers from the studia logica conference trends in logic IV
پدیدآورنده : Makinson, David.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy
رده :
QA
9
.
A1
.
M235
2009